An extension to ALGOL for manipulating formulae
نویسندگان
چکیده
منابع مشابه
TreeRegex: An Extension to Regular Expressions for Matching and Manipulating Tree-Structured Text (Technical Report)
Tree-structured text is ubiquitous in software engineering and programming tasks. However, despite its prevalence, users frequently write custom, specialized routines to query and update such text. For example, a user might wish to rapidly prototype a compiler for a domain-specific language by issuing successive transformations, or they might wish to identify all the call sites of a particular ...
متن کاملAn Extension of the Koplienko–neidhardt Trace Formulae
The spectral shift function for a trace class perturbation of a self-adjoint (unitary) operator plays a very important role in perturbation theory. It was introduced in a special case by I.M. Lifshitz [L] and in the general case by M.G. Krein [Kr1]. He showed that for a pair of self-adjoint (not necessarily bounded) operators A and B satisfying B −A ∈ S1 there exists a unique function ξ ∈ L 1(R...
متن کاملAn Extension to Imprecise Data Envelopment Analysis
The standard data envelopment analysis (DEA) method assumes that the values for inputs and outputs are exact. While DEA assumes exact data, the existing imprecise DEA (IDEA) assumes that the values for some inputs and outputs are only known to lie within bounded intervals, and other data are known only up to an order. In many real applications of DEA, there are cases in which some of the input ...
متن کاملAn Approach to Increasing Reliability Using Syndrome Extension
Computational errors in numerical data processing may be detected efficiently by using parity values associated with real number codes, even when inherent round off errors are allowed in addition to failure disruptions. This paper examines correcting turbo codes by straightforward application of an algorithm derived for finite-field codes, modified to operate over any field. There are syndromes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 1964
ISSN: 0001-0782,1557-7317
DOI: 10.1145/363921.363943